package std::io;

public interface Input{
	read(buffer->char[], size->int)->int;
}